problems based on Basic System Properties